COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	@make(letterhead,Phone"497-4430",Who"John McCarthy",Logo,old, Department csd)
C00005 ENDMK
C⊗;
@make(letterhead,Phone"497-4430",Who"John McCarthy",Logo,old, Department csd)
@style(indent 8)
@blankspace(8 lines)
@begin(address)
Mr. Victor Kuo
Department of Computer Science
Peking University
Peking, China
@end(address)
@greeting(Dear Mr. Kuo:)
@begin(body)
I am pleased to be able to offer you an appointment as an International
Visitor in the formal reasoning group of the Computer Science Department
of Stanford University.

This appointment is for one year and carries with it living expenses of $575
per month during that year.  A second year is possible if there is sufficient
mutual interest.  We can offer help with your travel expense, specifically a
round-trip air ticket from Peking to San Francisco.  We can provide you with
desk space and computer access and the opportunity to interact with the members
of the formal reasoning group who are also interested in representation of
knowledge about knowledge.

It is essential that you secure a J-1 Visa.  To assist you in obtaining it,
I enclose a Certificate of Eligibility (IAP-66), which should be used to obtain
a visa from the United States Embassy in Peking.
While the appointment starts October 1, 1982, if necessary, we might be able
to postpone the start time as much as a year.
@end(body)
Sincerely,




John McCarthy
Professor of Computer Science